$\forall$$T$:Type\{i\}, $S$:(($\mathbb{N}\rightarrow$$T$)$\rightarrow\mathbb{P}$\{i'\}). generic\{i:l\}($T$; $f$.$S$($f$)) $\in$ $\mathbb{P}$\{i'\}